Using Both Specialisation and Generalisation in a Programming Language: Why and How?

why and how of language and literature integration in EFL situations

Automated Generalisation of Function Definitions

We address the problem of finding the common generalisation of a set of Haskell function definitions so that each function can be defined by partial application of the generalisation. By analogy with unification, which derives the most general common specialisation of two terms, we aim to infer the least general common generalisation. This problem has a unique solution in a first-order setting,...

Specialisation and Generalisation of Processes

In data modelling, one of the most important abstraction concepts is specialisation, with generalisation being the converse. Although there are already some approaches to define generalisation for process modelling as well, there is no generally accepted notion of generalisation for processes. In this paper, we introduce a general definition of process specialisation and generalisation. Instead...

Exheritance — Class Generalisation Revived

We develop further the old idea that object-oriented languages could support also the inverse of inheritance (specialisation): generalisation or “exheritance”. It is easy as far as only interfaces are concerned, but attributes and method implementations cause problems. Renaming appears to be a very desirable language feature for exheritance. Combinations of inheritance and exheritance can be in...

The Saying/Showing Distinction in Early Wittgenstein and Its Implications

 Jafar Morvarid[1]  In this paper, I shall try to clarify the saying/showing distinction and to emphasize the role of this distinction in constructing a coherent picture of language and the world. In order to properly understand the differences between the sayable and the showable, I will throw light on the limits of language and the world. I will explain why it is impossible to say the showab...